ccn	{s1,s2,s1,s2}	{v1,v2,v3,v4,v6,v7,v8}
efs	{v1,v2,v3,v4,v6,v7,v8}	{o8}	{p2TO}
efv	{s1,s2,s1,s2}	{v1,v2,v3,v4,v6,v7,v8} 
g0t	{s1,s2,s1,s2}	{v1,v2,v3,v4,v6,v7,v8}	{o8}	{p2TO}
hp2		{v1,v2,v3,v4,v6,v7,v8}	{o8}	{p2TO}